private final class ButtonBehavior extends MouseAdapter {
	public void mousePressed(MouseEvent e) {
		if (! e.isConsumed()) {
			pressed = true;
			repaint();
		}
	}
	public void mouseReleased(MouseEvent e) {
		if (! e.isConsumed()) {
			pressed = false;
			repaint();
		}